Menu
Home
Advanced Search
Directory of Libraries
تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۵۶ ثانیه یافت شد.
1. Cut elimination in categories /
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
Kosta Došen
کتابخانه:
Center and Library of Islamic Studies in European Languages
(
Qom
)
موضوع :
Categories (Mathematics),Elimination,Proof theory
رده :
»
1
«
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal